Deriving Hurford's Constraint
نویسندگان
چکیده
منابع مشابه
Deriving Production Rules for Constraint
Traditionally, integrity constraints in database systems are maintained either by rolling back any transaction that produces an inconsistent state or by disallowing or modifying operations that may produce an inconsistent state. An alternative approach is to provide automatic \re-pair" of inconsistent states using production rules. For each constraint, a production rule is used to detect constr...
متن کاملDeriving Production Rules for Constraint Maintainance
Traditionally, integrity constraints in database systems are maintained either by rolling back any transaction that produces an inconsistent state or by disallowing or modifying operations that may produce an inconsistent state. An alternative approach is to provide automatic “repair” of inconsistent states using production rules. For each constraint, a production rule is used to detect constra...
متن کاملDeriving Filtering Algorithms from Constraint Checkers
This reportdeals with global constraints for which the set of solutions can be recognized by an extended finite automaton whose size is bounded by a polynomial in , where is the number of variables of the corresponding global constraint. By reformulating the automaton as a conjunction of signature and transition constraints we show how to systematically obtain a filtering algorithm. Under some ...
متن کاملDeriving Labels and Bisimilarity for Concurrent Constraint Programming
Concurrent constraint programming (ccp) is a well-established model for concurrency that builds upon operational and algebraic notions from process calculi and first-order logic. Bisimilarity is one of the central reasoning techniques in concurrency. The standard definition of bisimilarity, however, is not completely satisfactory for ccp since it yields an equivalence that is too fine grained. ...
متن کاملAn Approach to Deriving Maximal Invariant Statistics
Invariance principles is one of the ways to summarize sample information and by these principles invariance or equivariance decision rules are used. In this paper, first, the methods for finding the maximal invariant function are introduced. As a new method, maximal invariant statistics are constructed using equivariant functions. Then, using several equivariant functions, the maximal invariant...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semantics and Linguistic Theory
سال: 2015
ISSN: 2163-5951
DOI: 10.3765/salt.v24i0.2518